<html>
<h1>File Menu</h1>
<p>
The leftmost menu of the menu bar is the file menu. 
It is mainly used to open and save
<a href="@System Descriptions/Introduction">system descriptions</a>
created in the
<a href="@System Editor/Introduction">system editor</a>. The items
of the file menu are:
<ul>
<li><b>Open Project:</b> loads a system description into the 
  editor, simulator and verifier. The corresponding 
  requirement specification (i.e. same file name but 
  with the suffix .q) is loaded into the verifier.
<li><b>New System:</b> re-initiates the editor with an empty 
  system.
<li><b>Open System:</b> loads an existing system from file.
<li><b>Save System:</b> saves the system in the editor to file.
<li><b>Save System As:</b> saves the system in the editor to a 
  specified file.
<li><b>Check Syntax:</b> checks if syntax and types 
  are correct in the edited system.
<li><b>Load from Editor:</b> uploads the copiessystem from the
  editor to the  simulator and the verifier.

<li><b>Exit:</b> exits UPPAAL2k.
</ul>

<h2>File formats</h2>

UPPAAL2k supports three file formats:
<ul>
<li>The newest format is XML based and files in this format have the
ending <tt>.xml</tt>. This format supports all features of UPPAAL2k.</li>
<li>The XTA format was introduced in the 3.0 version of UPPAAL2k. This
format can only reliably store syntactically correct
systems. Anonymous locations are not supported by this format
(UPPAAL2k automatically assigns a unique name to anonymous locations
when saved to an XTA file). Graphical information (coordinates) about
the objects are stored in a separate UGI file, although this is
transparent to the user. XTA files use the ending <tt>.xta</tt> and UGI
files the ending <tt>.ugi</tt>.</li> 
<li>The TA format is the only format understood by the standalone
verifier (<tt>verifyta</tt>). It is a subset of the XTA format and
does not support the template concept nor does it contain any
graphical information about the system. When saving to a TA file,
UPPAAL2k will automatically unfold the system by instantiating all
templates used.</li>
</ul>

<p>Files stored in any of the above formats can be loaded and stored
via the <b>Open Project</b>, <b>Open System</b>, <b>Save System</b>,
and <b>Save System As</b> menus. When saving a file, the file type can
be selected in the <em>Files of type</em> field.</p>

</html>
